theorem prover - German English Dictionary